Modelling unit processes using formal language description and object-orientation
نویسندگان
چکیده
منابع مشابه
OPUS: a Formal Approach to Object-Orientation
OPUS is an elementary calculus that models object-orientation. It expresses in a direct way the crucial features of object-oriented programming such as objects, encapsulation, message passing and incremental modification. This is illustrated by numerous examples. Thanks to the way objects are constructed in this calculus, we can deal with selfreference, recursion and even mutual recursion in a ...
متن کاملEvaluating a Formal Modelling Language
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive properties through formal proofs. However, these formal languagesalso suffer from problems which limit their practical usefulness: they are often not expressive enough to deal with real world applications, formal models are complex and hard to rea...
متن کاملFormal description techniques for object management
Open network management is assisted by representing the system resources to be managed as objects, and providing standard services and protocols for interrogating and manipulating these objects. Application of formal techniques can make the speciications more precise, reducing the ambiguity inherent in natural language, and can automate some or all of the process of implementation and testing. ...
متن کاملSpecification of Workflow Processes Using the Action Description Language
We propose the use of the action description language C to formally specify workf]ow l processes. The Workf]ow Management Coalition (WfMC) describes a set of all possible transitions among the activities in a workflow. We show how these transitions can be specified within the language of C. CCALC, the causal calculator, is used to run the examples and to generate the execution plans. In additio...
متن کاملFormal Specification of Object-Oriented Meta-modelling
Modelling languages such as the Unified Modeling Language are used during the early phases of system development to capture requirements and to express high-level designs. Many such languages have no universally fixed interpretations since different development projects often use key concepts, like Class, Generalization and Association, in slightly different ways. Therefore meta-modelling, i.e....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical and Computer Modelling of Dynamical Systems
سال: 1998
ISSN: 1387-3954,1744-5051
DOI: 10.1080/13873959808837077